TypeHint

TypeHint[expr,type] represents an expression of a specified type when compiled and gives expr when evaluated.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.